Optimal path planning for surveillance with temporal-logic constraints
نویسندگان
چکیده
منابع مشابه
Optimal path planning for surveillance with temporal-logic constraints
In this paper we present a method for automatically generating optimal robot paths satisfying high level mission specifications. The motion of the robot in the environment is modeled as a weighted transition system. The mission is specified by an arbitrary linear temporal logic (LTL) formula over propositions satisfied at the regions of a partitioned environment. The mission specification conta...
متن کاملDistributed Informative Path Planning under Temporal Logic Constraints
In this work, we present an algorithm for synthesizing distributed control policies for networks of mobile robots such that they gather the maximum amount of information about some a priori unknown feature of the environment, e.g. hydration levels of crops or a lost person adrift at sea. Natural motion and communication constraints such as “Avoid obstacles and periodically communicate with all ...
متن کاملPath planning with spatial and temporal constraints
In this thesis we consider different problems arising in the context of planning the movement of objects. The common aspect of these problems is the interaction of spatial and temporal constraints. The three main problems analyzed are: ∙ The first problem is a pursuit-evasion problem where some lions have the task to clear a grid graph whose nodes are initially contaminated. The contamination s...
متن کاملTechnical Report: A Receding Horizon Algorithm for Informative Path Planning with Temporal Logic Constraints
This technical report is an extended version of the paper ’A Receding Horizon Algorithm for Informative Path Planning with Temporal Logic Constraints’ accepted to the 2013 IEEE International Conference on Robotics and Automation (ICRA). This paper considers the problem of finding the most informative path for a sensing robot under temporal logic constraints, a richer set of constraints than hav...
متن کاملProbabilistic Temporal Logic for Motion Planning with Resource Threshold Constraints
Temporal logic and model-checking are useful theoretical tools for specifying complex goals at the task level and formally verifying the performance of control policies. We are interested in tasks that involve constraints on real-valued energy resources. In particular, autonomous gliding aircraft gain energy in the form of altitude by exploiting wind currents and must maintain altitude within s...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The International Journal of Robotics Research
سال: 2011
ISSN: 0278-3649,1741-3176
DOI: 10.1177/0278364911417911